41. Logic and Boolean algebra
پدیدآورنده : / by Kathleen Levitz, Hilbert Levitz
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Logic, Symbolic and mathematical,Algebra, Boolean
رده :
QA9
.
L47
42. Logic and Boolean algebra
پدیدآورنده : / by Kathleen Levitz, Hilbert Levitz
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Logic, Symbolic and mathematical,Algebra, Boolean
رده :
QA9
.
L47
43. Logic, computation, hierarchies /
پدیدآورنده : edited by Vasco Brattka, Hannes Diener, Dieter Spreen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra, Boolean, Congresses,Logic, Symbolic and mathematical, Congresses,Petri nets, Congresses,Quasi-metric spaces, Congresses,Set theory, Congresses
44. Logic functions and equations :
پدیدآورنده : Christian Posthoff, Bernd Steinback.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra, Boolean.,Logic, Symbolic and mathematical.,Machine theory.,Algebra, Boolean.,Logic, Symbolic and mathematical.,Machine theory.
رده :
QA10
.
3
.
P67
2019
45. Logic prepared the Mathematics Foundation Course Team
پدیدآورنده : Open University , Mathematics Foundation course Team
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Algebra, Boolean,، Logic Symbolic and Mathematical
رده :
QA
10
.
3
.
O64
46. Mathematical logic and computability
پدیدآورنده : Keisler, H. Jerome
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Electronic data processing,، Algebra
رده :
QA
9
.
K45
47. Mathematical logic and theoretical computer science
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Electronic data processing,، Algebra
رده :
QA
9
.
2
.
M35
1987
48. Non-commutative Multiple-Valued Logic Algebra
پدیدآورنده : / electronic resource
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Mathematics,Algebra,Logic, Symbolic and mathematical,Distribution (Probability theory),Mathematics,Mathematical Logic and Foundations,Order, Lattices, Ordered Algebraic Structures,Probability Theory and Stochastic Processes,Measure and Integration
رده :
E-BOOK
49. Ones and zeroes
پدیدآورنده : John Gregg
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع : Electronic digital computers - circuits - Design,Logic, Symbolic and mathematical,Algebra, Boolean,Set theory
رده :
TK
,
7888
.
4
,.
G74
50. Ordered Algebraic Structures
پدیدآورنده : edited by W. Charles Holland, Jorge Martinez.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra.,Logic, Symbolic and mathematical.,Mathematics.,Topology.
51. Power Algebras over Semirings
پدیدآورنده : by Jonathan S. Golan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra.,Computational complexity.,Logic, Symbolic and mathematical.,Mathematics.
52. Quantum Measures and Spaces
پدیدآورنده : by Gudrun Kalmbach.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra.,Logic, Symbolic and mathematical.,Mathematics.
53. Schaum s outline of theory and problems of discrete mathematics
پدیدآورنده : Lipschutz, Seymour
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Algebra, Abstract - Outlines, syllabi, etc , Combinatorial analysis - Outlines, syllabi, etc , Logic, Symbolic and mathematical - Outlines, Syllabi, etc
رده :
QA
162
.
L5
1997
54. Schaum's outline of theory and problems of discrete mathematics
پدیدآورنده : / Seymour Lipschutz, Marc Lars Lipson
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Algebra, Abstract, Outlines, syllabi, etc,Combinatorial analysis, Outlines, syllabi, etc,Logic, Symbolic and mathematical, Outlines, syllabi, etc
رده :
QA162
.
L56
1997
55. Schaum's outline of theory and problems of discrete mathematics
پدیدآورنده : / Seymour Lipschutz, Marc Lars Lipson
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Algebra, Abstract- Outlines, syllabi, etc,Combinatorial analysis- Outlines, syllabi, etc,Logic, Symbolic and mathematical- Outlines, syllabi, etc
رده :
QA162
.
L56
1997
56. Schaum's outline of theory and problems of discrete mathematics
پدیدآورنده : / Seymour Lipschutz, Marc Lars Lipson
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Algebra, Abstract- Outlines, syllabi, etc,Combinatorial analysis- Outlines, syllabi, etc,Logic, Symbolic and mathematical- Outlines, syllabi, etc
رده :
QA162
.
L56
1997
57. Schaum's outline of theory and problems of discrete mathematics
پدیدآورنده : Lipschutz, Seymour
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Algebra, abstract- Outlines,، Combinatorial analysis- Outlines,، Logic, symbolic and mathematical- Outlines
رده :
QA
162
.
L56
58. Schaum's outline of theory and problems of discrete mathematics
پدیدآورنده : Lipschutz, Seymour
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Algebra, Abstract- Outlines, syllabi, etc,، Combinatorial analysis- Outlines, syllabi, etc,، Logic, Symbolic and mathematical- Outlines, syllabi, etc
رده :
QA
162
.
L56
1997
59. Schaum's outline of theory and problems of discrete mathematics
پدیدآورنده : / by Seymour Lipschutz
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Algebra, abstract, syllabi, etc,Combinatorial analysis - Outlines, syllabi, etc,Logic, symbolic and mathematical - Outline, syllabi, etc
رده :
511
.
0202
L767s
60. Schaum,s outline of theory and problems of discrete mathematics
پدیدآورنده : / Seymour Lipschutz, Marc lars lipson,Lipschutz
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Algebra, Abstract -- Outlines, Syllabi, etc,Combinatorial analysis -- Outlines, Syllabi, etc,Logic, symbolic and mathematical -- Outlines, Sylabi, etc
رده :
QA
162
.
L562
